$\forall$$R$:es\_realizer\{i:l\}. R{-}Feasible\{i:l\}($R$) $\in$ prop\{i':l\}